THE OsMoSys/DrawNET Xe! LANGUAGES SYSTEM: A NOVEL INFRASTRUCTURE FOR MULTI-FORMALISM OBJECT-ORIENTED MODELLING

Complex systems present a big challenge to the modeller: different subsystems need different modelling techniques, because they have different purposes and different kind of specifications. A multi-formalism modelling methodology can be useful to unify the different aspects of a model. In this paper we propose a system of languages which constitutes the foundation of OsMoSys, a multi-formalism, multi-solution, objectoriented modelling framework. The presented languages system supports automatic generation of GUI for every modelling formalism through the integration of the DrawNET Xe! tool, as well as OO submodel reuse and inheritance, flexible multi-solver solution and result analysis through the OsMoSys solving architecture.